Optimal. Leaf size=151 \[ \frac{12 f^2 (e+f x) \text{PolyLog}\left (3,i e^{i (c+d x)}\right )}{a d^3}-\frac{6 i f (e+f x)^2 \text{PolyLog}\left (2,i e^{i (c+d x)}\right )}{a d^2}+\frac{12 i f^3 \text{PolyLog}\left (4,i e^{i (c+d x)}\right )}{a d^4}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{i (e+f x)^4}{4 a f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.233964, antiderivative size = 151, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.231, Rules used = {4517, 2190, 2531, 6609, 2282, 6589} \[ \frac{12 f^2 (e+f x) \text{PolyLog}\left (3,i e^{i (c+d x)}\right )}{a d^3}-\frac{6 i f (e+f x)^2 \text{PolyLog}\left (2,i e^{i (c+d x)}\right )}{a d^2}+\frac{12 i f^3 \text{PolyLog}\left (4,i e^{i (c+d x)}\right )}{a d^4}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{i (e+f x)^4}{4 a f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4517
Rule 2190
Rule 2531
Rule 6609
Rule 2282
Rule 6589
Rubi steps
\begin{align*} \int \frac{(e+f x)^3 \cos (c+d x)}{a+a \sin (c+d x)} \, dx &=-\frac{i (e+f x)^4}{4 a f}+2 \int \frac{e^{i (c+d x)} (e+f x)^3}{a-i a e^{i (c+d x)}} \, dx\\ &=-\frac{i (e+f x)^4}{4 a f}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{(6 f) \int (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right ) \, dx}{a d}\\ &=-\frac{i (e+f x)^4}{4 a f}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{6 i f (e+f x)^2 \text{Li}_2\left (i e^{i (c+d x)}\right )}{a d^2}+\frac{\left (12 i f^2\right ) \int (e+f x) \text{Li}_2\left (i e^{i (c+d x)}\right ) \, dx}{a d^2}\\ &=-\frac{i (e+f x)^4}{4 a f}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{6 i f (e+f x)^2 \text{Li}_2\left (i e^{i (c+d x)}\right )}{a d^2}+\frac{12 f^2 (e+f x) \text{Li}_3\left (i e^{i (c+d x)}\right )}{a d^3}-\frac{\left (12 f^3\right ) \int \text{Li}_3\left (i e^{i (c+d x)}\right ) \, dx}{a d^3}\\ &=-\frac{i (e+f x)^4}{4 a f}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{6 i f (e+f x)^2 \text{Li}_2\left (i e^{i (c+d x)}\right )}{a d^2}+\frac{12 f^2 (e+f x) \text{Li}_3\left (i e^{i (c+d x)}\right )}{a d^3}+\frac{\left (12 i f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_3(i x)}{x} \, dx,x,e^{i (c+d x)}\right )}{a d^4}\\ &=-\frac{i (e+f x)^4}{4 a f}+\frac{2 (e+f x)^3 \log \left (1-i e^{i (c+d x)}\right )}{a d}-\frac{6 i f (e+f x)^2 \text{Li}_2\left (i e^{i (c+d x)}\right )}{a d^2}+\frac{12 f^2 (e+f x) \text{Li}_3\left (i e^{i (c+d x)}\right )}{a d^3}+\frac{12 i f^3 \text{Li}_4\left (i e^{i (c+d x)}\right )}{a d^4}\\ \end{align*}
Mathematica [A] time = 1.40661, size = 276, normalized size = 1.83 \[ \frac{x \left (\cos \left (\frac{c}{2}\right )-\sin \left (\frac{c}{2}\right )\right ) \left (6 e^2 f x+4 e^3+4 e f^2 x^2+f^3 x^3\right )}{4 a \left (\sin \left (\frac{c}{2}\right )+\cos \left (\frac{c}{2}\right )\right )}-\frac{2 (\cos (c)+i \sin (c)) \left (\frac{3 f (\cos (c)-i \sin (c)) (\sin (c)-i \cos (c)+1) \left (d^2 (e+f x)^2 \text{PolyLog}(2,-\sin (c+d x)-i \cos (c+d x))-2 i d f (e+f x) \text{PolyLog}(3,-\sin (c+d x)-i \cos (c+d x))-2 f^2 \text{PolyLog}(4,-\sin (c+d x)-i \cos (c+d x))\right )}{d^4}-\frac{(\sin (c)+i \cos (c)+1) (e+f x)^3 \log (\sin (c+d x)+i \cos (c+d x)+1)}{d}+\frac{(\cos (c)-i \sin (c)) (e+f x)^4}{4 f}\right )}{a (\cos (c)+i (\sin (c)+1))} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.184, size = 679, normalized size = 4.5 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.39536, size = 689, normalized size = 4.56 \begin{align*} -\frac{\frac{12 \, c e^{2} f \log \left (a d \sin \left (d x + c\right ) + a d\right )}{a d} - \frac{4 \, e^{3} \log \left (a \sin \left (d x + c\right ) + a\right )}{a} - \frac{-i \,{\left (d x + c\right )}^{4} f^{3} +{\left (-4 i \, d e f^{2} + 4 i \, c f^{3}\right )}{\left (d x + c\right )}^{3} + 48 i \, f^{3}{\rm Li}_{4}(i \, e^{\left (i \, d x + i \, c\right )}) +{\left (-6 i \, d^{2} e^{2} f + 12 i \, c d e f^{2} - 6 i \, c^{2} f^{3}\right )}{\left (d x + c\right )}^{2} +{\left (-12 i \, c^{2} d e f^{2} + 4 i \, c^{3} f^{3}\right )}{\left (d x + c\right )} +{\left (24 i \, c^{2} d e f^{2} - 8 i \, c^{3} f^{3}\right )} \arctan \left (\sin \left (d x + c\right ) + 1, \cos \left (d x + c\right )\right ) +{\left (-8 i \,{\left (d x + c\right )}^{3} f^{3} +{\left (-24 i \, d e f^{2} + 24 i \, c f^{3}\right )}{\left (d x + c\right )}^{2} +{\left (-24 i \, d^{2} e^{2} f + 48 i \, c d e f^{2} - 24 i \, c^{2} f^{3}\right )}{\left (d x + c\right )}\right )} \arctan \left (\cos \left (d x + c\right ), \sin \left (d x + c\right ) + 1\right ) +{\left (-24 i \, d^{2} e^{2} f + 48 i \, c d e f^{2} - 24 i \,{\left (d x + c\right )}^{2} f^{3} - 24 i \, c^{2} f^{3} +{\left (-48 i \, d e f^{2} + 48 i \, c f^{3}\right )}{\left (d x + c\right )}\right )}{\rm Li}_2\left (i \, e^{\left (i \, d x + i \, c\right )}\right ) + 4 \,{\left (3 \, c^{2} d e f^{2} +{\left (d x + c\right )}^{3} f^{3} - c^{3} f^{3} + 3 \,{\left (d e f^{2} - c f^{3}\right )}{\left (d x + c\right )}^{2} + 3 \,{\left (d^{2} e^{2} f - 2 \, c d e f^{2} + c^{2} f^{3}\right )}{\left (d x + c\right )}\right )} \log \left (\cos \left (d x + c\right )^{2} + \sin \left (d x + c\right )^{2} + 2 \, \sin \left (d x + c\right ) + 1\right ) + 48 \,{\left (d e f^{2} +{\left (d x + c\right )} f^{3} - c f^{3}\right )}{\rm Li}_{3}(i \, e^{\left (i \, d x + i \, c\right )})}{a d^{3}}}{4 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.03033, size = 1189, normalized size = 7.87 \begin{align*} \frac{6 i \, f^{3}{\rm polylog}\left (4, i \, \cos \left (d x + c\right ) - \sin \left (d x + c\right )\right ) - 6 i \, f^{3}{\rm polylog}\left (4, -i \, \cos \left (d x + c\right ) - \sin \left (d x + c\right )\right ) +{\left (-3 i \, d^{2} f^{3} x^{2} - 6 i \, d^{2} e f^{2} x - 3 i \, d^{2} e^{2} f\right )}{\rm Li}_2\left (i \, \cos \left (d x + c\right ) - \sin \left (d x + c\right )\right ) +{\left (3 i \, d^{2} f^{3} x^{2} + 6 i \, d^{2} e f^{2} x + 3 i \, d^{2} e^{2} f\right )}{\rm Li}_2\left (-i \, \cos \left (d x + c\right ) - \sin \left (d x + c\right )\right ) +{\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} \log \left (\cos \left (d x + c\right ) + i \, \sin \left (d x + c\right ) + i\right ) +{\left (d^{3} f^{3} x^{3} + 3 \, d^{3} e f^{2} x^{2} + 3 \, d^{3} e^{2} f x + 3 \, c d^{2} e^{2} f - 3 \, c^{2} d e f^{2} + c^{3} f^{3}\right )} \log \left (i \, \cos \left (d x + c\right ) + \sin \left (d x + c\right ) + 1\right ) +{\left (d^{3} f^{3} x^{3} + 3 \, d^{3} e f^{2} x^{2} + 3 \, d^{3} e^{2} f x + 3 \, c d^{2} e^{2} f - 3 \, c^{2} d e f^{2} + c^{3} f^{3}\right )} \log \left (-i \, \cos \left (d x + c\right ) + \sin \left (d x + c\right ) + 1\right ) +{\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} \log \left (-\cos \left (d x + c\right ) + i \, \sin \left (d x + c\right ) + i\right ) + 6 \,{\left (d f^{3} x + d e f^{2}\right )}{\rm polylog}\left (3, i \, \cos \left (d x + c\right ) - \sin \left (d x + c\right )\right ) + 6 \,{\left (d f^{3} x + d e f^{2}\right )}{\rm polylog}\left (3, -i \, \cos \left (d x + c\right ) - \sin \left (d x + c\right )\right )}{a d^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{\int \frac{e^{3} \cos{\left (c + d x \right )}}{\sin{\left (c + d x \right )} + 1}\, dx + \int \frac{f^{3} x^{3} \cos{\left (c + d x \right )}}{\sin{\left (c + d x \right )} + 1}\, dx + \int \frac{3 e f^{2} x^{2} \cos{\left (c + d x \right )}}{\sin{\left (c + d x \right )} + 1}\, dx + \int \frac{3 e^{2} f x \cos{\left (c + d x \right )}}{\sin{\left (c + d x \right )} + 1}\, dx}{a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (f x + e\right )}^{3} \cos \left (d x + c\right )}{a \sin \left (d x + c\right ) + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]